NameError: variable @font-size-small is undefined in /Users/haifeng/IT/01_Study/github_projects/js_framework/public/js/lib/bootstrap/3.0.0/css/badges.less on line 11, column 14:
10   padding: 3px 7px;
11   font-size: @font-size-small;
12   font-weight: @badge-font-weight;

